数学家们一直痴迷于能够解决复杂数学问题的人工智能。OpenAI 等机构开发这些模型的部分开发者认为，学会解决数学难题的 AI 可以运用相似的推理方法来解决其他类型的问题。但由于当前的人工智能尚未证明能在高等数学领域超越人类专家，一些创业者看到了开发专业数学模型的机遇。
总部位于特拉维夫的初创公司 Speedata 开发了一款专为加速大数据分析和 AI 工作负载而设计的分析处理单元(APU)，该公司已完成 4400 万美元的 B 轮融资， 使其融资总额达到 1.14 亿美元 。
上个月 21 号，Google I/O 2025 开发者大会可说是吸睛无数，各种 AI 模型、技术、工具、服务、应用让人目不暇接。在这其中，Gemini Diffusion 绝对算是最让人兴奋的进步之一。从名字看得出来，这是一个采用了扩散模型的 AI 模型，而这个模型却并非我们通常看到的扩散式视觉生成模型，而是一个地地道道的语言模型！
首先，cursor 0.51对UI设计界面做了重大更新：各个配置条目更为合理，看上去不再是草台班子的感觉。官方0.51changelog暂未发布，先体验一下BETA的Memories能力。
昨天YC一个访谈《State-Of-The-Art Prompting For AI Agents》，专门讲他们投资的一家客服公司，公开了他们提示词的写法，这应该也属于第一家吧。
无论是芙宁娜，艾米莉娅，还是雷电将军，任何你喜欢的角色，比如哪吒，都可以直接把它塞进这个智能硬件里。
IBM 于 6 月 2 日宣布已收购 Seek AI，这是一个允许用户使用自然语言查询企业数据的 AI 平台，具体收购金额未披露。
前段时间，OpenAI 研究员姚顺雨发表了一篇主题为「AI 下半场」的博客。其中提到，「接下来，AI 的重点将从解决问题转向定义问题。在这个新时代，评估的重要性将超过训练。我们需要重新思考如何训练 AI 以及如何衡量进展，这可能需要更接近产品经理的思维方式。」（参见《清华学霸、OpenAI 姚顺雨：AI 下半场开战，评估将比训练重要》）
我朋友的表弟，过几天就要参加高考了。
编程智能体也有「进化论」！Transformer作者初创Sakana AI与UBC推出达尔文-哥德尔机（DGM），能自动改写自身代码，性能翻倍超越人工设计。还能跨语言迁移、发明新工具。AI要觉醒了？
